An Empirical Study of Structural Symmetry Breaking
نویسندگان
چکیده
We present an empirical comparison between dynamic and static methods for structural symmetry breaking (SSB). SSB was recently introduced as the first method for breaking all piecewise value and variable symmetries in a constraint satisfaction problem. So far it is unclear which of the two techniques is better suited for piecewise symmetric CSPs, and this study presents results from the first empirical comparison between the two. The empirical study is conducted using graph coloring, and a novel test bed for generating piecewise symmetric problems also described in this work.
منابع مشابه
A Computational Study to Find the Vibrational Modes Connected with Specific Molecular Structures of Calculated Compound
The purpose of this research is to provide a deeper understanding of the planar high- symmetry configuration instability. In the ideal case, the distortion corresponds to the movements of nuclei along normal modes that belong to non-totally symmetric irreps of the high symmertry (HS) point group of molecule. The analysis of the structural distortion from the HS nuclear arrangements of the JT ac...
متن کاملStructural Symmetry Breaking
Symmetry breaking has been shown to be an important method to speed up the search in constraint satisfaction problems that contain symmetry. When breaking symmetry by dominance detection, a computationally efficient symmetry breaking scheme can be achieved if we can solve the dominance detection problem in polynomial time. We study the complexity of dominance detection when value and variable s...
متن کاملGroup-graphs associated with Row and Column Symmetries of Matrix Models: some observations
The effect of symmetry-breaking constraints is often evaluated empirically. In order to understand which symmetric configurations are removed by a set of constraints, we have to understand the underlying structure of the symmetry group in concern. A class of symmetry that frequently occurs in constraint programming is the row and column symmetries of a matrix model. In this paper, we study thes...
متن کاملPomeranchuk instability: symmetry breaking and experimental signatures
We discuss the emergence of symmetry-breaking via the Pomeranchuk instability from interactions that respect the underlying point-group symmetry. We use a variational mean-field theory to consider a 2D continuum and a square lattice. We describe two experimental signatures: a symmetry-breaking pattern of Friedel oscillations around an impurity; and a structural transition.
متن کاملSymmetry Breaking for Answer Set Programming
In the context of answer set programming, this work investigates symmetry detection and symmetry breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We contribute a reduction of symmetry detection to a graph automorphism problem which allows to extract symmetries of a logic program from the symmetries of the constructed coloured graph. The corr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008